We study the minimal enumeration degree problem in models of fragments of Peano arithmetic () and prove the following results: in any model M of Σ2 induction, there is a minimal enumeration degree if and only if M is a nonstandard model. Furthermore, any cut in such a model has minimal e-degree. By contrast, this phenomenon fails in the absence of Σ2 induction. In fact, whether every Σ2 cut has minimal e-degree is independent of the Σ2 bounding principle.

This paper presents a neurocomputational model using the ACT‐R cognitive architecture that simulates intrusive memory retrieval following a potentially traumatic event and predicts hippocampal volume changes observed in Post‐Traumatic Stress Disorder.

Targeting of cell ablation agents under the control of tissue‐specific promoters promises to be an important tool for studies of development and function in higher organisms. Temperature‐sensitive cell ablation agents, recently developed for Drosophila, extend control to temporal as well as spatial aspects of toxin expression. Here we discuss achievements to date, together with a novel form of enhancer trap technology with the potential for driving toxin expression in a large range of cell types.

Governing boards utilize executive compensation contracts in an attempt to align executive actions with corporate goals. The objective is to ensure that executive performance provides value to the organization in terms of successful outcomes. A key performance criteria typically specified in CEO compensation contracts is earnings targets. However, using earnings as a performance evaluation may be problematic because some firms exhibit robust and sustained earnings over time (high earnings persistence), and other firms, such as high growth oriented firms, exhibit weak (...) or sometimes negative earnings over time (low earnings persistence). Our study reveals that the effect of high earnings persistence results in firms that focus more heavily on cash compensation (salary and bonus) rather than on equity compensation (stock options, etc.) to compensate executive performance. Additionally, for firms characterized by low earnings persistence, our study indicates that cash flows from operations act as a supplementary performance measure to accounting earnings, and become increasingly important as a means to justify executive cash compensation. (shrink)

This article presents two studies that examine cause-related marketing promotions that require consumers’ active participation. Requiring a follow-up behavior has very valuable implications for maximizing marketing expenditures and customer relationship management. Theories related to ethical behavior, like motivated reasoning and defensive denial, are used to explain when and why consumers respond negatively to these effort demands. The first study finds that consumers rationalize not participating in CRM by devaluing the sponsored cause. The second study identifies a tactic marketers can utilize (...) to neutralize consumers’ use of defensive denial. Allowing the consumer to choose the sponsored cause seems to effectively refocus their attention and increases consumers’ threshold for campaign requirements. Implications for nonprofits and marketing managers include a tendency for consumers to be more likely to perceive a firm as ethical and socially responsible when they are allowed to choose the specific cause that is supported. (shrink)

Sleep onset is associated with marked changes in behavioral, physiological, and subjective phenomena. In daily life though subjective experience is the main criterion in terms of which we identify it. But very few studies have focused on these experiences. This study seeks to identify the subjective variables that reflect sleep onset. Twenty young subjects took an afternoon nap in the laboratory while polysomnographic recordings were made. They were awakened four times in order to assess subjective experiences that correlate with the (...) (1) appearance of slow eye movement, (2) initiation of stage 1 sleep, (3) initiation of stage 2 sleep, and (4) 5 min after the start of stage 2 sleep. A logistic regression identified control over and logic of thought as the two variables that predict the perception of having fallen asleep. For sleep perception, these two variables accurately classified 91.7% of the cases; for the waking state, 84.1%. (shrink)

Two experiments are reported that evaluated survey learning of youth with DS and typically developing children (TD) matched on Mental Age (MA). In Experiment 1, the experimenter navigated participants through a novel virtual environment along a circuitous path, beginning and ending at a target landmark (i.e., a door). Then, the participants were placed at a pre-specified location in the environment and instructed to navigate to the same door using the shortest possible path from their current location. They completed the task (...) three times: once after being shown the environment one time, once after three exposures, and once after five exposures. Results indicated that the participants with DS exhibited significantly less skill at identifying the shortcut than did the TD participants. In Experiment 2, participants learned two overlapping routes through a simple environment. Following acquisition, they were tested on several measures of survey knowledge: finding a shortcut, identifying the direction of landmarks not currently visible from their location in the environment, and recognizing a bird’s-eye representation of the overall environment. The results of Experiment2 indicated that the participants with DS were at least as good as the TD participants on all of our measures of survey learning. Hence, we concluded that people with DS can acquire some survey knowledge when they learn a simple environment. However, the performance of both groups was relatively poor in Experiment 2, indicating a need to consider identifying the mechanisms underlying the poor performance on wayfinding of people with DS. Identifying the underlying mechanisms, is a logical first step in devising methods of enhancing environmental learning of people with DS. (shrink)

PurposeAsian Americans comprise 21% of matriculating medical students in the United States but little is known about their mental health. With the growing focus on addressing the mental health of medical students, this systematic, nationwide survey assesses the relationship between anxiety and depression symptoms and coping skills among Asian American medical students.Materials and methodsA survey tool comprised of Patient Health Questionnaire-9, General Anxiety Disorder-7, and questions related to coping were emailed to members of the Asian Pacific American Medical Students Association (...) enrolled in a United States medical school during the 2016–2017 academic year. We evaluated associations between anxiety and coping as well as depression and coping.ResultsA total of 511 Asian American medical students completed the survey. Anxiety symptoms were positively correlated with an increase in negative coping skills. Depressive symptoms were not correlated with an increase in negative coping skills.ConclusionProfessionals and medical schools that aim to improve the mental health of medical students should be aware of the needs of specific populations. Asian American students who experience anxiety were more likely to utilize avoidant or negative coping strategies. In addition, Asian American students who experience depressive symptoms were not more likely to utilize these negative coping strategies. Further research must be done to evaluate the factors that influence the use of negative coping strategies to better address anxiety within the Asian American medical student population. (shrink)

The Wigner’s friend type of thought experiments manifest the conceptual challenge on how different observers can have consistent descriptions of a quantum measurement event. In this paper, we analyze the extended version of Wigner’s friend thought experiment in detail and show that the reasoning process from each agent that leads to the no-go theorem is inconsistent. The inconsistency is with respect to the requirement that an agent should make use of updated information instead of outdated information. We then apply the (...) relational formulation of quantum measurement to resolve the inconsistent descriptions from different agents. In relational formulation of quantum mechanics, a measurement is described relative to an observer. Synchronization of measurement result is a necessary requirement to achieve consistent descriptions of a quantum system from different observers. Thought experiments, including EPR, Wigner’s Friend and it extended version, confirm the necessity of relational formulation of quantum measurement when applying quantum mechanics to composite system with entangled but space-like separated subsystems. (shrink)

The European Union Commission’s whitepaper on Artificial Intelligence proposes shaping the emerging AI market so that it better reflects common European values. It is a master plan that builds upon the EU AI High-Level Expert Group guidelines. This article reviews the masterplan, from a culture cycle perspective, to reflect on its potential clashes with current societal, technical, and methodological constraints. We identify two main obstacles in the implementation of this plan: the lack of a coherent EU vision to drive future (...) decision-making processes at state and local levels and the lack of methods to support a sustainable diffusion of AI in our society. The lack of a coherent vision stems from not considering societal differences across the EU member states. We suggest that these differences may lead to a fractured market and an AI crisis in which different members of the EU will adopt nation-centric strategies to exploit AI, thus preventing the development of a frictionless market as envisaged by the EU. Moreover, the Commission aims at changing the AI development culture proposing a human-centred and safety-first perspective that is not supported by methodological advancements, thus taking the risks of unforeseen social and societal impacts of AI. We discuss potential societal, technical, and methodological gaps that should be filled to avoid the risks of developing AI systems at the expense of society. Our analysis results in the recommendation that the EU regulators and policymakers consider how to complement the EC programme with rules and compensatory mechanisms to avoid market fragmentation due to local and global ambitions. Moreover, regulators should go beyond the human-centred approach establishing a research agenda seeking answers to the technical and methodological open questions regarding the development and assessment of human-AI co-action aiming for a sustainable AI diffusion in the society. (shrink)

This study reveals that increases in the global population command an augmented demand for products and services that calls for more effective ways of using existing natural resources and materials. The recent development of information and communication technologies, which had a great impact on many areas, also had a damaging effect on the environment and human health. Therefore, societies are moving toward a greener future by reducing the consumption of nonrenewable materials, raw materials, and resources while at the same time (...) decreasing energy pollution and consumption. Since information technology is considered a tool for solving ecological difficulties, the green Internet of things is playing a vital role in creating a sustainable home. Extensive data analysis is required to obtain a valuable overview of the large and diverse data generated by the G-IoT. The gathered information will facilitate forecasting, decision-making, and other activities related to smart urban services and then contribute to the incessant development of G-IoT technology. Therefore, even if sustainable and smart cities become an actuality, the G-IoT approach and the knowledge gained through big data analysis will make cities more sustainable, safer, and smarter. The goal of this article is to combine innovation in technological development with the main focus on resource sharing in creating cities that improve the quality of life while reducing pollution and realizing more efficient use of the raw materials. In the practice of big data science, it is always of interest to provide the best description of the data under consideration. Recent studies have pointed out the applicability of the statistical distributions in modeling data in applied sciences. In this article, we introduce a new family of statistical models to provide the best description of the life span of the wireless sensors network’s data. Based on the proposed approach, a special submodel called new exponent power-Weibull distribution is studied in detail. The applicability of the proposed model is shown by analyzing the life span of the wireless sensors network’s data. (shrink)

Obesity is a particularly vexing public health challenge, since it not only underlies much disease and health spending but also largely stems from repeated personal behavioral choices. The newly enacted comprehensive health reform law contains a number of provisions to address obesity. For example, insurance companies are required to provide coverage for preventive-health services, which include obesity screening and nutritional counseling. In addition, employers will soon be able to offer premium discounts to workers who participate in wellness programs that emphasize (...) behavioral choices. These policies presume that government intervention to reduce obesity is necessary and justified. Some people, however, argue that individuals have a compelling interest to pursue their own health and happiness as they see fit, and therefore any government intervention in these areas is an unwarranted intrusion into privacy and one's freedom to eat, drink, and exercise as much or as little as one wants. This paper clarifies the overlapping individual, employer, and social interest in each person's health generally to avoid obesity and its myriad costs in particular. The paper also explores recent evidence on the impact of government interventions on obesity through case studies on food labeling and employer-based anti-obesity interventions. Our analysis suggests a positive role for government intervention to reduce and prevent obesity. At the same time, we discuss criteria that can be used to draw lines between government, employer, and individual responsibility for health, and to derive principles that should guide and limit government interventions on obesity as health reform's various elements (e.g., exchanges, insurance market reforms) are implemented in the coming years. (shrink)

The obesity epidemic is not only impairing the health of millions of Americans but also giving rise to billions of added dollars in health care spending. Climbing rates of obesity over the past decades are one of the predominant determinants behind the surging progression of health care expenses in the United States. Moreover, the less fit and less productive U.S. workforce has gradually eroded the nation’s industrial competitiveness. Since the early 1970s, adult obesity rates have doubled and childhood obesity rates (...) have more than tripled, while health expenditures have risen two percentage points faster than the Gross Domestic Product, burgeoning from 8.8 percent in 1980 to a projected 17.9 percent in 2011. Studies analyze that greater than a quarter of America’s health care expenses are attributed to obesity. The stunning growth in obesity has been imputed for 20 to 30 percent of the increase in health care costs since the late 1970s. If the proportion of obese population had stayed unchanged, then health care expenditures in America would be approximately 10 percent less on a per capita average than they are today. (shrink)

The drive for cost-effective use of medical interventions has advantages, but can also be challenging in the context of end-of-life palliative treatments. A quality-adjusted life-year (QALY) provides a common currency to assess the extent of the benefits gained from a variety of interventions in terms of health-related quality of life and survival for the patient. However, since it is in the nature of end-of-life palliative care that the benefits it brings to its patients are of short duration, it fares poorly (...) under a policy of QALY-maximization. Nevertheless, we argue that the goals of palliative care and QALY are not incompatible, and optimal integration of palliative care into the calculation of QALY may reveal a mechanism to modify considerations of how optimal quality of life can be achieved, even in the face of terminal illness. The use of QALYs in resource allocation means that palliative care will always compete with alternative uses of the same money. More research should be conducted to evaluate choices between palliative care and more aggressive therapies for the terminally ill. However, current limited data show that investing in palliative care makes more sense not only ethically, but also financially. (shrink)

In this study, we used data from the second wave of Midlife in the United States Study, MIDUS Biomarkers and MIDUS 3. We applied the serial mediation model to explore the serial mediating effects of perceived stress and depressive symptoms on the relationship between sleep quality and life satisfaction. A total of 945 participants were included in our study. The total indirect effect of sleep quality on life satisfaction through perceived stress, depressive symptoms and the combination of perceived stress and (...) depressive symptoms accounted for within the overall model was 45.5%. At the intervention level, programs designed to improve the level of life satisfaction among adults should focus on perceived stress and depressive symptoms. The prevention of perceived stress and depression contributes to improving life satisfaction and wellbeing. The serial mediation results should be confirmed by further longitudinal study. (shrink)

Arbuscular mycorrhizal fungi are considered as a potential biotechnological tool for improving phytostabilization efficiency and plant tolerance to heavy metal-contaminated soils. However, the mechanisms through which AMF help to alleviate metal toxicity in plants are still poorly understood. A greenhouse experiment was conducted to evaluate the effects of two AMF species on the growth, Pb accumulation, photosynthesis and antioxidant enzyme activities of a leguminous tree at Pb addition levels of 0, 500, 1000 and 2000 mg kg-1 soil. AMF symbiosis decreased (...) Pb concentrations in the leaves and promoted the accumulation of biomass as well as photosynthetic pigment contents. Mycorrhizal plants had higher gas exchange capacity, non-photochemistry efficiency, and photochemistry efficiency compared with non-mycorrhizal plants. The enzymatic activities of superoxide dismutase, ascorbate peroxidases and glutathione peroxidase were enhanced, and hydrogen peroxide and malondialdehyde contents were reduced in mycorrhizal plants. These findings suggested that AMF symbiosis could protect plants by alleviating cellular oxidative damage in response to Pb stress. Furthermore, mycorrhizal dependency on plants increased with increasing Pb stress levels, indicating that AMF inoculation likely played a more important role in plant Pb tolerance in heavily contaminated soils. Overall, both F. mosseae and R. intraradices were able to maintain efficient symbiosis with R. pseudoacacia in Pb polluted soils. AMF symbiosis can improve photosynthesis and reactive oxygen species scavenging capabilities and decrease Pb concentrations in leaves to alleviate Pb toxicity in R. pseudoacacia. Our results suggest that the application of the two AMF species associated with R. pseudoacacia could be a promising strategy for enhancing the phytostabilization efficiency of Pb contaminated soils. (shrink)

Individual health savings accounts are an important part of the current basic medical insurance system for urban workers in China. Since 1998 when the system of personal medical insurance accounts was first implemented, there has been considerable controversy over its function and significance within different social communities. This paper analyzes the main problems in the practical implementation of individual medical insurance accounts and discusses the social and cultural foundations for the establishment of family health savings accounts from the perspective of (...) Chinese Confucian familism. Accordingly, it addresses the direction of the reform and the development of the current system of individual health insurance accounts in China. (shrink)

In this article we review the emerging literature on the self-transcendent emotions. We discuss how the self-transcendent emotions differ from other positive emotions and outline the defining features of this category. We then provide an analysis of three specific self-transcendent emotions—compassion, gratitude, and awe—detailing what has been learned about their expressive behavior, physiology, and likely evolutionary origins. We propose that these emotions emerged to help humans solve unique problems related to caretaking, cooperation, and group coordination in social interactions. In our (...) final section we offer predictions about the self-transcendent emotions that can guide future research. (shrink)

Interferon (IFN) induced during a virus infection mediates antiviral effects both by direct inhibition of virus replication and by influencing the proliferation, differentiation, and chemotaxis of cyto‐toxic lymphocytes which control the infection. Cells from tissue taken from virus‐infected mice are conditioned by IFN to resist lysis by natural killer (NK) cells, while they become increasingly susceptible to lysis by cytotoxic Tlymphocytes (CTL). This is due to marked IFN‐induced biochemical changes, including an up‐regulation of major histocompatibility antigens, which are targets for (...) CTL. Cytopathic viruses, which inhibit cellular RNA and protein synthesis, render target cells refractory to IFN‐mediated protection against NK cells, thereby providing a mechanism for NK cells to mediate antiviral effect by preferentially lysing virus‐infected but not uninfected cells. (shrink)

We show that there exists a properly Σ2 minimal degree b, and moreover that b can be chosen to join with 0′ to 0″ – so that b is a 0″ complement for every degree a such that 0′ ≤ a < 0″.

The current COVID-19 pandemic and the previous SARS/MERS outbreaks of 2003 and 2012 have resulted in a series of major global public health crises. We argue that in the interest of developing effective and safe vaccines and drugs and to better understand coronaviruses and associated disease mechenisms it is necessary to integrate the large and exponentially growing body of heterogeneous coronavirus data. Ontologies play an important role in standard-based knowledge and data representation, integration, sharing, and analysis. Accordingly, we initiated the (...) development of the community-based Coronavirus Infectious Disease Ontology in early 2020. -/- As an Open Biomedical Ontology (OBO) library ontology, CIDO is open source and interoperable with other existing OBO ontologies. CIDO is aligned with the Basic Formal Ontology and Viral Infectious Disease Ontology. CIDO has imported terms from over 30 OBO ontologies. For example, CIDO imports all SARS-CoV-2 protein terms from the Protein Ontology, COVID-19-related phenotype terms from the Human Phenotype Ontology, and over 100 COVID-19 terms for vaccines (both authorized and in clinical trial) from the Vaccine Ontology. CIDO systematically represents variants of SARS-CoV-2 viruses and over 300 amino acid substitutions therein, along with over 300 diagnostic kits and methods. CIDO also describes hundreds of host-coronavirus protein-protein interactions (PPIs) and the drugs that target proteins in these PPIs. CIDO has been used to model COVID-19 related phenomena in areas such as epidemiology. The scope of CIDO was evaluated by visual analysis supported by a summarization network method. CIDO has been used in various applications such as term standardization, inference, natural language processing (NLP) and clinical data integration. We have applied the amino acid variant knowledge present in CIDO to analyze differences between SARS-CoV-2 Delta and Omicron variants. CIDO's integrative host-coronavirus PPIs and drug-target knowledge has also been used to support drug repurposing for COVID-19 treatment. -/- CIDO represents entities and relations in the domain of coronavirus diseases with a special focus on COVID-19. It supports shared knowledge representation, data and metadata standardization and integration, and has been used in a range of applications. (shrink)